Relaxing Behavioural Inheritance
نویسنده
چکیده
initialisation (ai) concrete initialisation (ci) abstract operation (co) concrete operation (co) abstract finalisation (af) concrete finalisation (cf) abstract operation (ao) concrete operation (co) R R R R (a) Data refinement simulation ao
منابع مشابه
Constraints of Behavioural Inheritance
We present an approach to component inheritance and reuse which closes the gap between architectural design and process-oriented approaches. To apply inheritance checks in design and verification of a system, one should consider an inheritance relation as a property of the system and specify it as an inheritance constraint. To specify the inheritance constraints we offer a logic of behavioural ...
متن کاملImprinted genes, cognition and behaviour.
The idea that genes can influence behavioural predispositions and their underlying psychological determinants is becoming increasingly tractable. In this article, recent findings are reviewed on a special type of inheritance, related to the transmission of traits via what have been termed 'imprinted' genes. In imprinted genes one allele is silenced according to its parental origin. This results...
متن کاملPoverty and Aspirations Failure*
We develop a theoretical framework to study the psychology of poverty and ‘aspirations failure’, defined as the failure to aspire to one’s own potential. In our framework, rich and the poor persons share the same preferences and same behavioural bias in setting aspirations. We show that poverty can exacerbate the effects of this behavioural bias leading to aspirations failure and hence, a behav...
متن کاملGeneralised Computation of Behavioural Profiles Based on Petri-Net Unfoldings
Behavioural profiles have been proposed as a concept to judge on the behavioural consistency of process models that depict different perspectives of a process. These profiles describe the observable relations between the activities of a process model. Consistency criteria based on behavioural profiles are less sensitive to model projections than common equivalence criteria, such as trace equiva...
متن کاملOn the behavioural dimension of correspondences between process models
Enterprise-wide process harmonisation initiatives require the analysis of commonalities of existing business process models. That is, correspondences between activities are identified, such that the behavioural equivalence of the models can be assessed thereafter. Due to refinements, these correspondences can relate sets of activities to each other, i.e., there are complex 1:n or n:m correspond...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013